keyboard: Use parent key's allocation for extended key size

An outdated allocation is likely still better in this case than the
preferred size, so use that instead of width/height which may fall
back.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1976

diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index d5591c317d33732faeac4e23e141c7f3a4ee8ee5..95d971211f426118558584beccb34b35181cc19f 100644 (file)
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -459,8 +459,7 @@ var Key = GObject.registerClass({
             key.extendedKey = extendedKey;
             this._extendedKeyboard.add(key);
 
-            key.width = this.keyButton.width;
-            key.height = this.keyButton.height;
+            key.set_size(...this.keyButton.allocation.get_size());
         }
         this._boxPointer.bin.add_actor(this._extendedKeyboard);
     }